add combinator support and built-in combinators