src/: Enhance `definst' to allow general BVL syntax.