hoftype | create contemporary types