first version of dynamic typing as a paradigm. Probably needs some feedback