Further basic eval implementation