Updated documentation and README
Implemented type checking functions
Fixed registration for typecheck functions