Syntax: update types and constants