Remove now-unnecessary brackets from subtype test
Remove now-unnecessary brackets from subtype test

They were needed to disambiguate the types from expressions, but that's
fixed now, so they're not needed anymore.

hartenfels/Semantics4J,hartenfels/Jastics