Add base methods and types.
Type internalizing passes peverify test \o/
Need ways to ignore stuff and method handling is not working either...