A Pure, Stateless Type Engine for Expression-Oriented Languages