Convert your Notational Velocity notes to Just Type.