hasExplicitBody/hasExplicitRefinement => hasBraces
introduces Self.hasThis