add typecheck assignment