deleted superfluous code in type system