implement Lists
implement Constant code
implement KindOf patterns