Lobsters: Recent improvements to the Swift type checker