more type work
basic eval