lien, property, and portfolio models and migrations