working on functions and methods; added notes on how type constraints and parameter lists work