Better method for determining if a class is a subtype of another type
Better Mux and := assign implementation using generalized type constraints, implicit type constraints, etc. Some slight type-unsafety (although generally shielded from the user by some scala trickery and runtime checks)