Construction types implemented in Safiany