concrete syntax: proc args are idents, not tyidents.
ivory-examples: better pub/priv example.
concrete syntax: added type synonyms and top-level expr. declarations.