Write explicit type and sort signatures