TypeBound

Updated TypeBound rule, because translation from JLS was slightly incorrect.