mosaic: Added fully typechecking versions of rst, tpch3_small