Construction types implemented in Pantaliia