initial very simple TypedScope support
remove unused template
support ECheckType expressions in factory like factory( ( MyServiceImpl.new : MyService) ) to register implementations as interfaces/typedefs