common types and modules for specforge proects