Full featured type checking module. Tiny, cross-environment and reliable