Implemented rudimentary type checking.