Instance elaboration (incomplete)

Lacks elaboration of methods and subdictionaries

introduce_type_parameters should be reverted back
add_constraints and add_unconstrained_tv (ElaborationEnvironment)
are to be considered obsolete

Removed trailing spaces (24 occurences)

ocp-indent <3