Approaching a simpler and saner type system