Overdoing Overload Sets

This is not about good code anymore this is about pushing the compiler

//todo takes kaps types and make a sumtype