Static type checking pretty much done