Construction types implemented in Richka