documented expression and environment typedefs