Error Reporting for Type Inference

Instead of throwing an exception if unification fails or for soft failures during refinement (e.g. not when something is not implemented, but potentially nullpointer) add an error object to the context and collect all errors. 

This means some assumptions are required when unification has failed. To reduce follow up errors, return Any in case the unification has failed.
