Add β3 syntax changes