Construction types implemented in Kaluha