Some trivial semantical type checking.