Fixed runtime type checking and added functions for typecheck

You can check the file samples/typecheck.crn to see it in action.

The (type) function had a bug so it couldn't determine the types properly.