# a simple type system