abstract algebra (functional language)
-- added pipelining semantics (distributed processing)
-- added transformer component
explicit understanding of time
-- and of time patterns (every Tue 12:00 in June)
add unit handling
-- understands physical dimensions
can deal with data (Duh!)
-- but also "meta data", with or without background ontology