renamed typecheck in strongtyping - fix #78