Added subtyping for interfaces.
Added tests for sub interfacing.