use a single shared AST instead of a functorized one, use object types

use a single shared AST instead of a functorized one, use object types #145