types for DSL