Syntax + Type Systems updated after meeting