strip out loads of code for parsing type constraints and replace with Type::Parser+Type::Registry
bump version; changelog