syntax tweaks; typed types