Construction types implemented in Raiky