Construction types implemented in Pylypy