Add Pattern/TypeList syntax, fix syntax