begin reference implementation of julia's types

for experimenting, debugging, and explaining