curious: what's the underlying computational model for the language? the untyped lambda calculus? universal turing machine ? Or there's something new?