some preliminary work on functional analysis DSL