Initial work on dynamic types.
Merge branch 'master' into dynamic-types
Fixed "reassignment to val" erroneous error for dynamic calls.
Fixed type checking for dynamic apply calls.
Any type instead of Nothing for dynamic parameter
cleanup
removed cycles for Dynamic named parameters.
Added tests for recent Dynamic type improvements.