main
Use primary constructors
Fix issue when we report a missing default case in switch statements with patterns