Minor bug fix for inline code.
Make DimEnv also optional, add qualified unification.