JUNK

notes

data (bunches, sequences, lists, sets)

finite maps (behave like data and like funs)

functions have infinite domains but lose computable (in)equality

local definitions (modules will use the same mechanism)