Dynamically typed proglang experiment based on fat pointers - View it on GitHub