Disable some warnings. What's the point of type inference and lexical scoping if we disallow them?