ECheckType syntax support (a:MyType)