infrastructure for translation of unit pragmas
renamed unitPragma to unitPragmaAttribute to avoid name clash with internal data types
translation of units pragmas in machines, contexts next
wrap the content of the unit pragma in a list, to get closers to what happens for regular B