Construction types implemented in Stremin