Implement syntax for bare immediate polymorphic variants.
Update README.