Added more @TypeChecked annotations
Added F?StaticExtension from 5 to 8
More type checking