Streamline general bind logic in bootstrap

- mostly for readability
- re-arranged native type checking for smaller bytecode size
- added some comments now that I understand it better