Flexible type constraint system

First a caveat, this is not proper type system