Fixed error while instantiating the type checker (fixes #30)