PARTIAL: Test circular requirements

REQUIRES: circularB

TYPES:
type typeFromCircularA { name: String }
