Fixed a bug (missing "Just $" in typechecking module)