Construction types implemented in Synky