Construction types implemented in Hiltsi