basic type inference capability