mutable parameters / nothing type

Add consistant interface for parametric types.
Add mutable parameters to some things in builtins.
Move get_pytd into aav.
Add Nothing uses where they should be in pytypedecl.