dynamic typing

PLEASE DO NOT MERGE

I thought it might be interesting to see what things would
look like if we took a walk on the wild side. Hopefully, seeing
a possible implementation will help us decided.