LazyPackage: renamed addMember to addCompiledMember now that Package defines it

And we don't want compiled declarations to end up in the source member list
lazy model: refactored due to typechecker change