Need to do more compiler work, especially the experimental stuff

1. Metaprogramming features

2. Structural tying - I really want to add this