Tests are mostly complete (though some are failing -- to be fixed in the
async/await refactor.
Also refactored, fixed bugs found while testing, and added ability to
type `pf;m` instead of `pf;member`.
---------
Co-authored-by: Aster Fialla <asterfialla@gmail.com>
