starting work on type system tests