starting work on putting types into expressions