RFR: 8250652: Add logical operations on types

[Kim Barrett]

Please review this change which adds metafunctions for performing
logical operations on types.  These are based on facilities provided
by C++17, but which can be useful before we are using that version of
the language standard.  (I already have some in-development changes
that use some of them.)

I've not provided stand-ins for the associated template variables,
since template variables are not yet on the list approved for use in
HotSpot.  They can easily be added later if desired.

CR:
https://bugs.openjdk.java.net/browse/JDK-8250652

Webrev:
https://cr.openjdk.java.net/~kbarrett/8250652/open.00/

Testing:
tier1