Added refinement type integration tests (#4568)
Added refinement type integration tests (#4568)

* Add integration tests for type checking of refinement expressions
PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs,PolymerLabs/arcs