Construction types implemented in Haishyn