Syntax sugar and explicit semantics for statically defined maps