Make clear that bounds are syntactic sugar
Update semantics for cases where no type parameters are involved