Added 'type' annotations for type-level functions