init a:Type = typeof( int ) assert( a == Type.INT )