First stub codegen + notes on design