initial attempt at a sane implementation of Optional[]
fix logic errors in constraint generator for Tuple
better documentation for Optional and slurpy
some optimizations for slurpy Any; when slurping into a hashref, check that there's an even number of elements
saner implementation of Types::TypeTiny meta method