Syntax: update types