split out types.* and environment.* from semantic.*
README: update for new files (types.*, environment.*)