Implement more complete compiled checking
No longer use serialized schema in validateTypes