added metavariable types to syntax