add a test for self recursion
extract function template for uint type registration
begin to add semantics for self-recursion
apply workarounds for Visual C++ 2013 (compiles, but the tests crash)
recursive fibonacci test passes