remove type notations entirely.