simplified type systems