added dot access typecheck