Adding type checking

Merged Ghost User requested to merge type_checking into master

Closes #8 (closed)

Merge request reports