Construction types implemented in Mamekyne