Added basic typecheck tests