Implements strict binary operators in dynamic context
Fixes handling of parameterless functions
Fixes catch of dynamic type