Patterns - add top level type declarations to match Models expressivity