Puffin: Scheme-like language with self-hosting compiler and gradual types